Electronic Books

Total Books: 1 - 20 /23

Bioinformatics Research and Applications : Fourth International Symposium, ISBRA 2008, Atlanta, GA, USA, May 6-9, 2008. Proceedings

This book constitutes the refereed proceedings of the Fourth International Symposium on Bioinformatics Research and Applications, ...

Formal Approaches to Software Testing (vol. # 3395)

Testing often accounts for more than 50% of the required e?ort during system development.Thechallengeforresearchistoreducethesecostsbyprovidingnew ...

Formal Methods and Software Engineering

This book constitutes the refereed proceedings of the 9th International Conference on Formal Engineering Methods, ICFEM 2007, ...

Formal Methods and Stochastic Models for Performance Evaluation

This volume contains the proceedings of the third EPEW workshop held at the Technical University of Budapest, Budapest, Hungary, ...

Formal Modeling and Analysis of Timed Systems (vol. # 3829)

This book constitutes the thoroughly refereed post-proceedings of the Third International Conference on Formal Modeling and ...

Fundamental Approaches to Software Engineering (vol. # 3442)

ETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual ...

Handbook of Transdisciplinary Research

Transdisciplinary research (TR) is an emerging field of research in the knowledge society.This handbook provides, for the ...

Hands-On Design Patterns with Java : Learn Design Patterns That Enable the Building of Large-Scale Software Architectures / Edward Lavieri

Java design patterns are reusable and proven solutions to software design problems. This book covers over 60 battle-tested ...

Hardware and Software, Verification and Testing

The First Haifa Verification Conference was held at the IBM Haifa Research Lab and at the Haifa University in Israel from ...

Hybrid Systems: Computation and Control (vol. # 3414)

This volume contains the proceedings of the 8th Workshop on Hybrid S- tems: Computation and Control(HSCC2005)heldinZurich, ...

Hybrid Systems: Computation and Control (vol. # 3927)

These are the proceedings of the 9th International Workshop on Hybrid Systems: Computation and Control, HSCC 2006, March ...

Set-Theoretic Methods in Control

This self-contained monograph describes basic set-theoretic methods for control and provides a discussion of their links ...

Software Architecture (vol. # 3527)

This book constitutes the refereed proceedings of the 2nd European Workshop on Software Architecture, EWSA 2004, held in ...

System Analysis: Theory and Applications

The foundations of system analysis as an applied scientific methodology assigned for the investigation of complex and highly ...

Systems Analysis and Design / Scott Tilley

Real examples clearly demonstrate both traditional and emerging approaches to systems analysis and design, including object-oriented ...

Systems Analysis and Design in a Changing World / John W. Satzinger, Robert B. Jackson, Stephen D. Burd

Reflecting the practices, trends, and developments from the field, this title equips you with a solid foundation of the important ...

Systems Analysis for Water Technology

This book presents in a concise format the methods used to develop mathematical models for water and wastewater treatment. ...

Taking Stock of Industrial Ecology

How can we design more sustainable industrial and urban systems that reduce environmental impacts while supporting a high ...

Tools and Algorithms for the Construction and Analysis of Systems (vol. # 3440)

This year it comprised ?ve conferences (CC, ESOP, FASE, FOSSACS, TACAS), 17 satellite workshops (AVIS, BYTECODE, CEES, CLASE, ...

Tools and Algorithms for the Construction and Analysis of Systems : 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings

The book is organized in topical sections on parameterized systems, model checking, applications, static analysis, concurrent/distributed ...

Total Books: 1 - 20 /23